Function type - PDFSEARCH.IO - Document Search Engine

Function type
Results: 893

#	Item
761	IEEE TRANSACTIONS ON FUZZY SYSTEMS, VOL. 15, NO. 1, FEBRUARY[removed]Fuzzy Rough Sets: The Forgotten Step Martine De Cock, Chris Cornelis, and Etienne E. Kerre Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2007-02-26 08:22:41 Mathematics Rough set Fuzzy set Membership function Fuzzy control system Equivalence relation Set theory Equivalence class Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
762	Fuzzy methods on the web: A critical discussion Steven Schockaert, Nataliya Makarytska, Martine De Cock Abstract Gradual concepts abound in many web-related domains, ranging from the notion of relevance in information re Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2010-07-07 03:41:37 Many-valued logic Fuzzy set Membership function Semantic search Information retrieval Possibility theory Type-2 fuzzy sets and systems Fuzzy mathematics Logic Fuzzy logic Mathematical logic
763	CCured in the Real World Jeremy Condit Matthew Harren Scott McPeak George C. Necula Add to Reading List Source URL: scottmcpeak.com Language: English - Date: 2004-10-27 17:16:37 Computer programming Pointer Type safety Struct Dangling pointer C Memory safety Function pointer Reference Software engineering Computing Data types
764	Linguistic Hedges: a Quanti er Based Approach Martine DE COCK Dept. of Applied Mathematics and Computer Science Ghent University, Krijgslaan 281 (S9), B-9000 Gent, Belgium [removed], http://fuzzy.rug.ac.be Add to Reading List Source URL: www.fuzzy.ugent.be Language: English - Date: 2005-06-17 08:59:57 Fuzzy control system Fuzzy set Membership function Semantics Type-2 fuzzy sets and systems Fuzzy logic Logic Mathematical logic
765	Masterclass Modelling with Constraints Part 2: Formulating Abstract Models Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 11:16:36 Matrix Magic square Function Data type Partition Constraint satisfaction Constraint logic programming Mathematics Constraint programming Integer sequences
766	LNCS[removed]Configurable Software Verification: Concretizing the Convergence of Model Checking and Program Analysis Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Creativity Problem solving Thought Function Data-flow analysis Algorithm Type system Predicate Mathematics Linguistics Abstraction
767	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
768	Type Reconstruction for General Refinement Types Kenneth Knowles Cormac Flanagan Add to Reading List Source URL: sage.soe.ucsc.edu Language: English - Date: 2007-01-23 19:49:52 Algebraic geometry Field theory Valuation Subtype polymorphism Lambda calculus Function Entailment Natural deduction M-estimator Logic Mathematics Deduction
769	LNCS[removed]Explicit-State Software Model Checking Based on CEGAR and Interpolation Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Data types Type theory Function Data-flow analysis Variable Algorithm Model checking Abstraction Programming language Mathematics Software engineering Computing
770	LNCS[removed]Domain Types: Abstract-Domain Selection Based on Variable Usage Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-11-30 14:35:51 Data types Type theory Binary decision diagram Boolean algebra Diagrams Model checking Function Variable Type system Mathematics Mathematical logic Software engineering

UPDATE